DEROBEMENT définition

DEROBEMENT

[Maç.] Trait de coupe reporté directement, i.e. sans gabarit, sur une pierre de taille.
Trouvé sur https://www.editions-eyrolles.com/Dico-BTP/definition.html?id=3235

---